[IA64] fix merge error

Fix cut-n-paste error from manually merging patch

Signed-off-by: Alex Williamson <alex.williamson@hp.com>

diff --git a/xen/arch/ia64/xen/mm.c b/xen/arch/ia64/xen/mm.c
index 8cc3d3f53708db3e558dfa52909c41f6663fbd1a..e3134ec7e1157f338c9a200cd4af5ef0b24ce82d 100644 (file)
--- a/xen/arch/ia64/xen/mm.c
+++ b/xen/arch/ia64/xen/mm.c
@@ -1717,7 +1717,7 @@ domain_page_flush_and_put(struct domain* d, unsigned long mpaddr,
          * Probably the domain did only DMA.
          */
         /* do nothing */
-        put_page(page)
+        put_page(page);
         break;
     case TLB_TRACK_FOUND:
         // dprintk(XENLOG_WARNING, "%s TLB_TRACK_FOUND\n", __func__);
@@ -1728,7 +1728,7 @@ domain_page_flush_and_put(struct domain* d, unsigned long mpaddr,
          */
         domain_flush_vtlb_track_entry(d, entry);
         tlb_track_free_entry(d->arch.tlb_track, entry);
-        put_page(page)
+        put_page(page);
         break;
     case TLB_TRACK_MANY:
         gdprintk(XENLOG_INFO, "%s TLB_TRACK_MANY\n", __func__);
@@ -1740,7 +1740,7 @@ domain_page_flush_and_put(struct domain* d, unsigned long mpaddr,
          * full vTLB flush is necessary.
          */
         domain_flush_vtlb_all();
-        put_page(page)
+        put_page(page);
         break;
     case TLB_TRACK_AGAIN:
         gdprintk(XENLOG_ERR, "%s TLB_TRACK_AGAIN\n", __func__);